Verification of loop parallelisations

Writing correct parallel programs becomes more and more difficult as the complexity and heterogeneity of processors increase. This issue is addressed by parallelising compilers. Various compiler directives can be used to tell these compilers where to parallelise. This paper addresses the correctness of such compiler directives for loop parallelisation. Specifically, we propose a technique based on separation logic to verify whether a loop can be parallelised. Our approach requires each loop iteration to be specified with the locations that are read and written in this iteration. If the specifications are correct, they can be used to draw conclusions about loop (in)dependences. Moreover, they also reveal where synchronisation is needed in the parallelised program. The loop iteration specifications can be verified using permission-based separation logic and seamlessly integrate with functional behaviour specifications. We formally prove the correctness of our approach and we discuss automated tool support for our technique. Additionally, we also discuss how the loop iteration contracts can be compiled into specifications for the code coming out of the parallelising compiler

A Successful Broad-band Survey for Giant Lya Nebulae I: Survey Design and Candidate Selection

Giant Lya nebulae (or Lya "blobs") are likely sites of ongoing massive galaxy formation, but the rarity of these powerful sources has made it difficult to form a coherent picture of their properties, ionization mechanisms, and space density. Systematic narrow-band Lya nebula surveys are ongoing, but the small redshift range covered and the observational expense limit the comoving volume that can be probed by even the largest of these surveys and pose a significant problem when searching for such rare sources. We have developed a systematic search technique designed to find large Lya nebulae at 2<z<3 within deep broad-band imaging and have carried out a survey of the 9.4 square degree NOAO Deep Wide-Field Survey (NDWFS) Bootes field. With a total survey comoving volume of ~10^8 h^-3_70 Mpc^3, this is the largest volume survey for Lya nebulae ever undertaken. In this first paper in the series, we present the details of the survey design and a systematically-selected sample of 79 candidates, which includes one previously discovered Lya nebula.Comment: Accepted to ApJ after minor revision; 25 pages in emulateapj format; 18 figures, 3 table

Efficiency determination of resistive plate chambers for fast quasi-monoenergetic neutrons

Composite detectors made of stainless steel converters and multigap resistive plate chambers have been irradiated with quasi-monoenergetic neutrons with a peak energy of 175MeV. The neutron detection efficiency has been determined using two different methods. The data are in agreement with the output of Monte Carlo simulations. The simulations are then extended to study the response of a hypothetical array made of these detectors to energetic neutrons from a radioactive ion beam experiment.Comment: Submitted to Eur.Phys.J. A; upgraded version correcting some typos and updating ref.

The HADES Tracking System

The tracking system of the dielectron spectrometer HADES at GSI Darmstadt is formed out of 24 low-mass, trapezoidal multi-layer drift chambers providing in total about 30 square meter of active area. Low multiple scattering in the in total four planes of drift chambers before and after the magnetic field is ensured by using helium-based gas mixtures and aluminum cathode and field wires. First in-beam performance results are contrasted with expectations from simulations. Emphasis is placed on the energy loss information, exploring its relevance regarding track recognition.Comment: 6 pages, 4 figures, presented at the 10th Vienna Conference on Instrumentation, Vienna, February 2004, to be published in NIM A (special issue

Transition Radiation Spectroscopy with Prototypes of the ALICE TRD

We present measurements of the transition radiation (TR) spectrum produced in an irregular radiator at different electron momenta. The data are compared to simulations of TR from a regular radiator.Comment: 4 pages, 5 Figures, Proceedings for "TRDs for the 3rd millennium" (Sept. 4-7, 2003, Bari, Italy

The High-Acceptance Dielectron Spectrometer HADES

HADES is a versatile magnetic spectrometer aimed at studying dielectron production in pion, proton and heavy-ion induced collisions. Its main features include a ring imaging gas Cherenkov detector for electron-hadron discrimination, a tracking system consisting of a set of 6 superconducting coils producing a toroidal field and drift chambers and a multiplicity and electron trigger array for additional electron-hadron discrimination and event characterization. A two-stage trigger system enhances events containing electrons. The physics program is focused on the investigation of hadron properties in nuclei and in the hot and dense hadronic matter. The detector system is characterized by an 85% azimuthal coverage over a polar angle interval from 18 to 85 degree, a single electron efficiency of 50% and a vector meson mass resolution of 2.5%. Identification of pions, kaons and protons is achieved combining time-of-flight and energy loss measurements over a large momentum range. This paper describes the main features and the performance of the detector system

Challenges in QCD matter physics - The Compressed Baryonic Matter experiment at FAIR

Substantial experimental and theoretical efforts worldwide are devoted to explore the phase diagram of strongly interacting matter. At LHC and top RHIC energies, QCD matter is studied at very high temperatures and nearly vanishing net-baryon densities. There is evidence that a Quark-Gluon-Plasma (QGP) was created at experiments at RHIC and LHC. The transition from the QGP back to the hadron gas is found to be a smooth cross over. For larger net-baryon densities and lower temperatures, it is expected that the QCD phase diagram exhibits a rich structure, such as a first-order phase transition between hadronic and partonic matter which terminates in a critical point, or exotic phases like quarkyonic matter. The discovery of these landmarks would be a breakthrough in our understanding of the strong interaction and is therefore in the focus of various high-energy heavy-ion research programs. The Compressed Baryonic Matter (CBM) experiment at FAIR will play a unique role in the exploration of the QCD phase diagram in the region of high net-baryon densities, because it is designed to run at unprecedented interaction rates. High-rate operation is the key prerequisite for high-precision measurements of multi-differential observables and of rare diagnostic probes which are sensitive to the dense phase of the nuclear fireball. The goal of the CBM experiment at SIS100 (sqrt(s_NN) = 2.7 - 4.9 GeV) is to discover fundamental properties of QCD matter: the phase structure at large baryon-chemical potentials (mu_B > 500 MeV), effects of chiral symmetry, and the equation-of-state at high density as it is expected to occur in the core of neutron stars. In this article, we review the motivation for and the physics programme of CBM, including activities before the start of data taking in 2022, in the context of the worldwide efforts to explore high-density QCD matter.Comment: 15 pages, 11 figures. Published in European Physical Journal

MERS-CoV 4b protein interferes with the NF-κB-dependent innate immune response during infection

This work is licensed under a Creative Commons Attribution 4.0 International License.Middle East respiratory syndrome coronavirus (MERS-CoV) is a novel human coronavirus that emerged in 2012, causing severe pneumonia and acute respiratory distress syndrome (ARDS), with a case fatality rate of ~36%. When expressed in isolation, CoV accessory proteins have been shown to interfere with innate antiviral signaling pathways. However, there is limited information on the specific contribution of MERS-CoV accessory protein 4b to the repression of the innate antiviral response in the context of infection. We found that MERS-CoV 4b was required to prevent a robust NF-κB dependent response during infection. In wild-type virus infected cells, 4b localized to the nucleus, while NF-κB was retained in the cytoplasm. In contrast, in the absence of 4b or in the presence of cytoplasmic 4b mutants lacking a nuclear localization signal (NLS), NF-κB was translocated to the nucleus leading to the expression of pro-inflammatory cytokines. This indicates that NF-κB repression required the nuclear import of 4b mediated by a specific NLS. Interestingly, we also found that both in isolation and during infection, 4b interacted with α-karyopherin proteins in an NLS-dependent manner. In particular, 4b had a strong preference for binding karyopherin-α4 (KPNA4), which is known to translocate the NF-κB protein complex into the nucleus. Binding of 4b to KPNA4 during infection inhibited its interaction with NF-κB-p65 subunit. Thereby we propose a model where 4b outcompetes NF-κB for KPNA4 binding and translocation into the nucleus as a mechanism of interference with the NF-κB-mediated innate immune response